Nuprl Definition : ccpred
11,40
postcript
pdf
ccpred(
id
) == inr inr (inl
id
)
latex
Definitions
inr
x
,
inl
x
FDL editor aliases
ccpred
origin